xm: Add a new option to xm dump-core
authorKeir Fraser <keir.fraser@citrix.com>
Fri, 25 Apr 2008 12:40:39 +0000 (13:40 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Fri, 25 Apr 2008 12:40:39 +0000 (13:40 +0100)
commit9fb02748d07b64a575da67a27e2af2c2f02bd3d6
treef4510d8b3ebd248e05ad7ce2f28d4c20a7242e4d
parent17da362de7bccba32e3baef45f237616e8c63cbf
xm: Add a new option to xm dump-core

The option is -R|--reset.  A guest domain is reset after saving
a core dump of the guest domain when specified the option.

Signed-off-by: Masaki Kanno <kanno.masaki@jp.fujitsu.com>
tools/python/xen/xm/main.py